Chan Le Duc, Decidability of SHI with transitive closure of roles, in: Proc. 6th conference on european semantic web conference (ESWC), Heraklion (GR), (Lora Aroyo, Paolo Traverso, Fabio Ciravegna, Philipp Cimiano, Tom Heath, Eero Hyvönen, Riichiro Mizoguchi, Marta Sabou, Elena Simperl (eds), Proc. 6th european conference on semantic web (ESWC ), Lecture notes in computer science 5554, 2009), pp368-383, 2009
This paper investigates a description logic, namely SHI+, which extends SHI by adding transitive closure of roles. The resulting logic SHI+ allows transitive closure of roles to occur not only in concept inclusion axioms but also in role inclusion axioms. We show that SHI+ is decidable by devising a sound and complete algorithm for deciding satisfiability of concepts in SHI+ with respect to a set of concept and role inclusion axioms.
Masahiro Hori, Jérôme Euzenat, Peter Patel-Schneider, OWL Web Ontology Language XML Presentation Syntax, Note, Worldwide web consortium, Cambridge (MA US), 2003
This document describes an XML presentation syntax and XML Schemas for OWL 1.0 sublanguages: OWL Lite, OWL DL, and OWL Full. This document has been written to meet the requirement that OWL 1.0 should have an XML serialization syntax (R15 in [OWL Requirement]). It is not intended to be a normative specification. Instead, it represents a suggestion of one possible XML presentation syntax for OWL.
Heiner Stuckenschmidt, Jérôme Euzenat, Ontology Language Integration: A Constructive Approach, in: Proc. KI workshop on Applications of Description Logics, Wien (AT), 2001
The problem of integrating different ontology languages has become of special interest recently, especially in the context of semantic web applications. In the paper, we present an approach that is based on the configuration of a joint language all other languages can be translated into. We use description logics as a basis for constructing this common language taking advantage of the modular character and the availability of profound theoretical results in this area. We give the central definitions and exemplify the approach using example ontologies available on the Web.